import { IPSSysTestCase } from './ipssys-test-case';
import { IPSSysTestModule } from './ipssys-test-module';
import { IPSSysTestPrj } from './ipssys-test-prj';

/**
 *
 * 子接口类型识别属性[]
 * @export
 * @interface IPSSysTestCase2
 */
export interface IPSSysTestCase2 extends IPSSysTestCase {
  /**
   * 测试模块
   *
   * @type {IPSSysTestModule}
   */
  getPSSysTestModule(): IPSSysTestModule | null;

  /**
   * 测试模块
   *
   * @type {IPSSysTestModule}
   */
  get psSysTestModule(): IPSSysTestModule | null;

  /**
   * 测试模块（必须存在）
   *
   * @type {IPSSysTestModule}
   */
  getPSSysTestModuleMust(): IPSSysTestModule;

  /**
   * 测试项目
   *
   * @type {IPSSysTestPrj}
   */
  getPSSysTestPrj(): IPSSysTestPrj | null;

  /**
   * 测试项目
   *
   * @type {IPSSysTestPrj}
   */
  get psSysTestPrj(): IPSSysTestPrj | null;

  /**
   * 测试项目（必须存在）
   *
   * @type {IPSSysTestPrj}
   */
  getPSSysTestPrjMust(): IPSSysTestPrj;
}
